pairing function theorem

un. 配对函数定理